منابع مشابه
To Be Certain about Uncertainties: Probabilistic Model Checking with Uncertainties
We address the problem of verifying PCTL properties of Markov Decision Processes whose state transition probabilities are only known to lie within uncertainty sets. Using results from convex theory and duality, we propose a suite of verication algorithms and prove their soundness, completeness and termination when arbitrary convex models of uncertainty are considered. Furthermore, soundness and...
متن کاملUncertainties in the projection of species distributions related to general circulation models
Ecological Niche Models (ENMs) are increasingly used by ecologists to project species potential future distribution. However, the application of such models may be challenging, and some caveats have already been identified. While studies have generally shown that projections may be sensitive to the ENM applied or the emission scenario, to name just a few, the sensitivity of ENM-based scenarios ...
متن کاملUncertainties in SOA simulations due to meteorological uncertainties
This discussion paper is/has been under review for the journal Atmospheric Chemistry and Physics (ACP). Please refer to the corresponding final paper in ACP if available. Abstract The purpose of the present study is to investigate the uncertainties in simulating secondary organic aerosol (SOA) in Mexico City metropolitan area (MCMA) due to meteorological initial uncertainties using the WRF-CHEM...
متن کاملModel uncertainties do not affect observed patterns of species richness in the Amazon
BACKGROUND Climate change is arguably a major threat to biodiversity conservation and there are several methods to assess its impacts on species potential distribution. Yet the extent to which different approaches on species distribution modeling affect species richness patterns at biogeographical scale is however unaddressed in literature. In this paper, we verified if the expected responses t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2009
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.1170937